Nuprl Definition : mk_oset
13,42
postcript
pdf
mk_oset(
T
;
eq
;
leq
) == <
T
,
eq
,
leq
>
latex
Up
sets
1
Wellformedness Lemmas
mk
oset
wf
origin